University of Waterloo

Results: 1650



#Item
271

Randomized Backtracking: Next Steps Pavel Par´ızek, Ondˇrej Lhot´ak David R. Cheriton School of Computer Science, University of Waterloo {pparizek,olhotak}@uwaterloo.ca Abstract—The use of randomized backtracking

Add to Reading List

Source URL: plg.uwaterloo.ca

Language: English - Date: 2011-10-22 14:36:02
    272

    Raphael Clouatre and Kenneth R. Davidson* (), Pure Math. Dept., University of Waterloo, 200 University Ave. W., Waterloo, ON N2L3G1, Canada. The dual of the continuous multipliers on Dru

    Add to Reading List

    Source URL: jointmathematicsmeetings.org

    - Date: 2014-09-10 00:49:28
      273

      OOMatch: Pattern Matching as Dispatch in Java Adam Richard Ondˇrej Lhot´ak University of Waterloo

      Add to Reading List

      Source URL: plg.uwaterloo.ca

      Language: English - Date: 2007-12-29 09:37:04
        274

        Finding Patterns in Static Analysis Alerts Improving Actionable Alert Ranking Quinn Hanam, Lin Tan, Reid Holmes, and Patrick Lam University of Waterloo 200 University Ave W Waterloo, Ontario

        Add to Reading List

        Source URL: patricklam.ca

        Language: English - Date: 2015-09-18 09:21:51
          275

          DefenestraTor: Throwing out Windows in Tor Mashael AlSabah1 , Kevin Bauer1,∗ , Ian Goldberg1 , Dirk Grunwald2 , Damon McCoy3 , Stefan Savage3 , and Geoffrey M. Voelker3 1 University of Waterloo

          Add to Reading List

          Source URL: damonmccoy.com

          Language: English - Date: 2015-11-03 22:03:13
            276

            Randomized Backtracking in State Space Traversal Pavel Par´ızek and Ondˇrej Lhot´ak David R. Cheriton School of Computer Science, University of Waterloo Abstract. While exhaustive state space traversal is not feasibl

            Add to Reading List

            Source URL: plg.uwaterloo.ca

            Language: English - Date: 2011-10-22 14:35:38
              277

              The Year-End Statistical Report for the Information and Privacy Commissioner/Ontario Statistical Report of University of Waterloo for the 2014 Reporting Year

              Add to Reading List

              Source URL: uwaterloo.ca

              Language: English - Date: 2016-02-01 14:20:17
                278

                Making Sense of Online Code Snippets Siddharth Subramanian, Reid Holmes School of Computer Science University of Waterloo Waterloo, ON, Canada ,

                Add to Reading List

                Source URL: cs.uwaterloo.ca

                Language: English - Date: 2013-04-16 11:43:27
                  279

                  An Axiomatic Basis for Communication M. Karsten1, S. Keshav1, S. Prasad2, M. Beg1 David R. Cheriton School of Computer Science, University of Waterloo 2 Department of Computer Science and Engineering, IIT Delhi

                  Add to Reading List

                  Source URL: www.soi.wide.ad.jp

                  Language: English - Date: 2007-08-30 03:43:22
                    280

                    Comparing Call Graphs Ondˇrej Lhot´ak David R. Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada

                    Add to Reading List

                    Source URL: plg.uwaterloo.ca

                    Language: English - Date: 2007-08-27 15:10:56
                      UPDATE